some files had been missing from revision #6094.