Fix doc mistake.