Fixes #723