Fixed bugs in printf() extension.