Some minor but important corrections to several files.