Change the printf back to Norbert's last fix.