Fix XML encoding of program