Fixing typo

Thanks @bartvde for spotting this.