Re: [IMP-dev] Other very minor comments