fix #5

simple printf issue