Fix XML in documentation, and in the bin/scons-doc.py script that generates