Added missing precondition.