Nix superfluous code.

This doesn't seem quite right but it's the same as what was there before...