Fixed ko examples