perma-id/w3id.org — pull request #51 by DavidFichtmueller (2014-10-23 12:36:32+00:00)
Title: html title fix

just a minor issue, I noticed and that annoyed me.