Fix typo

Tried to submit this PR via prose, but it failed.