debug statements for debugging