Doc bugfix