Fixed a bug in dig_decrease/3.