change iri slot name to shut sbcl up