Fix silly typo

We need to say "thank you, Guido" for this typo.