Minor cleanup of Push(RegList)