Correct @requires and API-documentation.

See #1075.
Merge pull request #1131 from marcjansen/wfst20-requires

Correct @requires and API-documentation...