Rm depopts fix

Cf. #692