fixes #757