Rewrite kpoints for spec