fix minor issue with the file documentation header