minor tweaks to pass w3c publication checker