Verify HTML4 strict more succinctly