Record constructor arg occs correctly (bug-fix)