Bug fix in printf and bumped version number