Whoops, actually need to check the precondition ourselves when doing stepping manually.