small cleanups for ib.opt