Fix #73: `module.xml` errors