make `file-open` dictionary entry mention multiple open files