debugPrint: fix debugging