fixes #947