Trivial doc text hot-fix.