More minor changes; new Linux results.