minor maintenance to list of files