A couple pre-release fixes

Stage markers for stage3 and a trivial prelude fix.