Removed a printf() that I missed