fixes #763