printf correctly