Small documentation bugfix.