Small extensions for SemURIs script