Small fix to subsection numbering