Driver: removed a likely forgotten printf