[webkit-dev] HTML attributes and tags - slight tweak