Fix documentation typo (bug #904)