minor bugfix to RDF output