Another small docs change.