FIX: Bug with the HTML.toString() method.