fix a typo reported by Sean