Fix for issue #74
Forgot a debug printf