Re: [IMP-dev] More minor patches