Minor prettifications