Fix bug 765