add some debug print statements for diagnosing #20