Fixes #49 again: removed debug code