#30 Fix printf