Yes, my bad--I should nix all the dead code.