print statements for debug