yet more minor changes to settings