Turn off debugging; forgot to do that last time (issue #10)