#712: Typo