Updates reference to ion-defs