Fix bug 775