Fixes numbering in markup for github display