tweak to non-mark proof