improved formatting (very slightly)