Fixed debugging statements and bumped ion-defs