Edit: class-wp-taxonomy.php