Fix #9871 by clarifying documentation.