HTML attribute quotes now properly handled. Issue  #1260