abbrev-mode isn't case-sensitive anymore!