fixes #693