Typo fix (thanks, @wlonk!)