List of heads of state of Libya tells that Khaddafi and his head of state quit their positions on 22 August 2011. That's not right, is it? As far as I've understood, those two guys just lost most of their remaining power but not their formal titles. (  )