Rename PKI arguments

fixes #7427