Yet another very minor cleanup