revised string formatter in printf