Fix typo

Pointed out by Abe Voelker