fix PHPDoc comment for type_archive