Some Typos and a better explataion of the two-way verification.