Deal with W3C bug 22541.