another very minor cleanup