Typo

Yet another minor typo.