fixes #723