Corrected a precondition