add some debug prints