Slightly improved formatting