Define no ION(revert if necessary)

This may mean that we do not have to use a dummy header. Somebody please test this.