Fix code oops for ac-math, add auto correct using dabbrev