Fix CEDET error