Minor documentation change.

As requested by @koraktor.