DHCP: examples fixes (from Ben)