Fixing typo #723