ENVY-9: typo