attempted fix of bug #18 which was a remnant of bug #7