Undo debugging line. Fixes #465