“Sebastian Gorka did not resign, but I can confirm he no longer works at the White House,” the official said.

According to the Washington Examiner’s Sarah Westwood, Gorka said it was “disappointing” that the White House said he was fired, because “I resigned.”

A source with knowledge of the situation said Gorka did indeed resign—but only after being informed on Friday by White House Chief of Staff John Kelly that his security clearance had been revoked, which would have made it impossible for him to continue in his White House job. Gorka was on vacation at the time and due to return on Monday. Instead, after hearing from Kelly, he submitted his resignation.