bug #711