Cherry picked a typo

Not the most meaningful PR.