fixes #642