Fixed a postcondition.