Fix processing of section names with numbers from official XML (fixes #21).