Fix printf 08 and 09 for --fix-numbers