I think Shao Huan is his other name. In the past, mostly rich families gave their children a personal name ming after their third month and another one zhi after their 20th birthday. The first one was then usually used by their closest family.
But all I know is based on a fan article. It has the explanation at the beginning.
