w3-write-explicit-encodings problem