Several minor fixes and improvements to rdf11. #56

Closed wouterbeek closed 7 years ago