fix a bug in kcoret