Removing some debug code that slipped in; whoops.