File is a directory

   An attempt is made to read a directory instead of a file. This only
   occurs when the file-requester is terminated with a directory as choice.
   In normal use, a file-requester is generated whenever a requested input-
   or output-file turns out to be a directory.