Fix #1424

Forgot to remove debug output again?