Repair bug #3