KAPPA: Correct and update appendix of HDS types.