Fix a mistake just made in dc-mon.