Fixes #642