PDS_VERSION_ID        = PDS3

RECORD_TYPE           = STREAM

DATA_SET_ID           = "VEX-E/V-SPICE-6-V2.0"
                                                                              
PRODUCT_ID            = "ERRATA"
PRODUCT_CREATION_TIME = 2020-03-24
                                                                              
OBJECT                = TEXT
  INTERCHANGE_FORMAT  = ASCII
  PUBLICATION_DATE    = 2020-03-24
  NOTE                = "Venus Express SPICE Data Set ERRATA."
END_OBJECT            = TEXT
END                                                                           
                                                                              
                                                                              
This is a list of known errors within this data set.

1. Although there is a value "SPICE KERNELS" for the keyword
   INSTRUMENT_NAME specially made for SPICE, this keyword has been set
   to "N/A" in all the labels in this data set.

2. For all SPICE kernels that don't contain information specific to a
   mission target (e.g. LSKs, CKs, etc) the TARGET_NAME keyword has been
   set to "N/A".

3. The SPACECRAFT_CLOCK_START_COUNT and SPACECRAFT_CLOCK_STOP_COUNT have
   been set to "N/A" in all labels.

4. In all DSK labels KERNEL_TYPE is set to SHAPE, which is not a
   permissible value according to the PDS3 dictionary.

5. In SOFT.CAT SOFTWARE_ID is set to "SPICE TOOLKIT", which is not a
   permissible value according to the PDS3 dictionary.

6. All labels for binary kernels (SPK, CK, binary PCK) miss the FILE_RECORDS
   keyword which is required if RECORD_TYPE is set to FIXED_LENGTH.

7. The NAIF_INSTRUMENT_ID has been set to "N/A" for all the
   labels in this data set, except for Instrument Kernels
   (IK) and C Kernels (CK).                                                   

8. The coverage for the kernel VEX_SA_2009_V0032.BC starts on
   2008-12-31T23:59:60.266. The reason for that is that a leapsecond          
   occurred on that date (hence the 60 seconds on the date string). The       
   START_DATE keyword on the label was set to 2008-12-31T23:59:59, to allow   
   the label to pass the software checks.