Fixed a post condition