typo fixes by thomas thomsen