Add debugging printf