fixing typo pointed out by guida