HTML5 doesn't define a width attribute for HTMLPreElement; I'm not sure if HTML5 needs to be fixed in that regard, but maybe this test should use a more stable hook?