Trivial: fix a typo