miscellaneous changes (not worth mentioning)