[IMP-dev] Proposed patches to IMP