bug #767