Minor document change.