fix typo reported by email