Some (VERY minor) beautification