Re: [IMP-dev] minor patch