Basic question about Ethernet Shield

I just committed a fix for this. It will be in Arduino 0013.