Removed debugging printf