Bugfix 3264

Fixed typo in documentation mentioned in bug #3264