Fix numbering of koans.