printf fixes