bug #755