fixes #657