Typo regarding #6