Correction of typos and minor grammatical errors