Fixing an innocuous typo

pointed out by @thomasvandoren