Re: the mentioning of Cheng's son on this article.
The son is surnamed Zhang (张), unlike the father (程), but that is what [1] (in simplified Chinese) says. --Menchi 12:00 21 Jun 2003 (UTC)