minor changes

that are not worth describing