fix typo

Pointed out by @erictune