Trivial spelling correction in comments