Fix a left-over from debugging