fixes #751