fix degree of tensor product of chain complex map with module, thanks to Hanno Becker