Bugfix for docs