Removed a long forgotten printf