rectify minor typos