Fix a compilation error in the test