minor cleanup in the use of Rec*