minor changes in RDF serialization