Some fixes to ITP