Minor update to clarify dhcp option names