Minor tweak to HTML serializer