anhoej Fix typo in documentation.