Several minor changes
Several minor changes were made (e.g. in the ChangeLog file a line was removed because its related bug had later a final fix).