minor: some typos