Fix some typos in unification design doc