Bugfix: documentation