Fix typo reported by mLuby in #383