Minor changes of various kinds.