Another small correction to the docs.