fixed a typo (reported by alex)