Corrected bug in html_ofstream.