clarifying invokeRec #307