Some typo errors, not caught earlier