Adding an almost empty specification with finally correct formatting of numbered headings