Fix typos from Bernie's review.