Adapted html.js to string changes.