minor cleanups in InteractWith.hs