Fixes #644