very minor cleanup