Fixing stupid mistake on crdinalpoints