very minor cleanup.