fixes #718