Fixed typos found by Chenhao