Fix #177 printf()