fixed numbering in pixi_terms.html