Fixed typo pointed out by @astrofrog

[ci skip]