minor fixes to ida