Fix bug in cify