minor typos in comments corrected