Remove closing brace in HTMLToTex which caused errors with ordered list tags