Correct compilation bug