Stylistic errors are corrected