Fixing a typo pointed out by @thomasvandoren