fix cedet bug