fix some typos and make some beautifications