1. A misleading comment was corrected.
2. A typo was fixed.