fixes #637