Small issue: no file identifier in info button