Clarify config option docs for problem in #858.