Fix an issue where one of the Reference Manual sections would appear out-of-order in the PDF version