Documentation update

Plus a small hotfix.