Adding printing lines for debugging