Fix typo

Inferring from the next line, this is a typo.