bug #7