Fix typo pointed out by @astrofrog