Remove an annoying printf