Fixed typo.
Updated doc for an unproven conjecture.