Fixing typo

Fixes #671