Fixing typo pointed by pietern