Removed a printf()