Minor formatting in dhcp.c