minor fixes not worth mentioning