minor fix for displaying filenames