delete some debug printout