typo, fixes #717