Minor modifications to bring files up-to-date.