Commit 0f6467a016e9a13dedb944b239b6eddb2af33ca3

David Turner 2000-06-07T20:07:35

fixed a small bug that prevented the file name to be correctly printed in certain cases..