Fix weirdness with numbering in markdown