Thanks much, that did it.
Would be great to have this in the documentation at Ethernet - Arduino Reference