typo in preconditions 2