re #722 - Typo