An XML parser bug fix.