fix extra typo spotted by @takluyver