rdfrest: minor improvements of the HTML serializer