#716 w3c compiles