typo in preconditions