Fix typo

Found this minimal typo when reading the source code.