minor fixes in files