Issue #140 part 1: customize.dtd