Minor adjustment in precondition message