Fix p-addic typo.