project4 patch 1
minor tweak to printout for rec10