Minor prettiness fix