[intro.defs] Improve formatting.