minor fixes to file