Attempt to fix compilation error of one of the tests