re #6669 Improved in file documentation