pump-0.7.0-1 appears to take down the network interface before it sends a dhcprelease packet, potentially tying up the address unnecessarily.
Looks correct to me -- please send more details.