Small documentation change from Michael Haardt.