Fixes small bug in HtmlWriter.java