The SEC Chairman really resigned