small typo fix by david