proper printf