specification: improved formatting