Another change addressing #164 -- no longer necessary (or never was)