minor typos corrected