Fixes for wonky markdown numbering