Fixing typo pointed out by Andrea