Removed debugging printf.