Another slight improvement to parsing of documentation XML files.