Minor tweaks to asrc implies 2-mark proof