Fix a testcase issue for the header that mixed up a variable name