Minor bugfix in documentation