add happy case for Printf