some minor local changes