Fixed typos reported by David Steinbrunner