code modified but verification problem persists