Correct a compilation error