slightly improved formatting