fixed typos and minor polishing