Fixed a precondition.