Fix a bug that prevented more than one testcase in a file