fixes #639