Fix one typo (thanks @harding)