Fix typo from fix for issue #8