Fixed typo in one of the test cases.
My test cases actually use the NativeProgram format, so I had to convert them.