pull in changes from numbered_headings plugin