minor fixes to the docs about files