fixup the bug of test case in FormatGen.py