Fixing typo as reported in issue #172