Typos reported by Xin Li