fixed a compilation error in the tests