update files (see #3)