Fixed a wrongly numbered heading.