specification: improved formatting in Terminology