Fix example in abbrev.