Revise rewriteStep.