Should probably say it switches to the option for `highestAllowableHeadingLevel`.