File title doubled

If the File has a bookmark then the file title above the text is duplicated. Without a bookmark the title is the same as on the binder list.