Fixes #667