Again, very minor cleanup