printing out things for debugging