Fixed a printf that didn't work correctly in Windows.