fix some typos and bad forumulations