Hm, appears not to be used anymore. Will nix it.