minor fixes to ignore files