yet some other small changes . . .