Tiny typo fix

Caught it while reading the code.