fixes #838