Fix a typo caught by puiterwijk