Trivial comment typos corrected.