Typo. Fix error mentioned by @saxamaphone69 in #968.