Correct compilation error