Removed debugging code

Fixes #479.