Bugfix: inaccuracy in documentation