Added minor modifications to the content of these files.