added printing fro debugging