removed debugging output; fixes #8