correction of bug #5