fixing some files that got inadvertently changed