typo fix pointed out by @astrofrog