[removed] debug printouts