type and parameter definitions for PKIX
fixed typo in xrefs