Fix abbreviation.

Outputting and checking abbreviations now works.
Update documentation as well