fixes #688