docs bugfix