Minor improvements to HTML writer docstring