fix SBOL output