remove some debug cout