Variuous typos corrected