Some printf fixes