Infocom XML tweaks