minor w3c fixes