two additional minor changes. Done now for a bit.