Fixes #643