Update to numbering of code listings