pedantically, should XMLReadOptions be renamed?