minor changes to precondition