Explanatory comments added. Typos corrected.