Fixes #657