Fix for Github section numbering