print statements for debugging