Make jedi case sensitive