printf bugfix