fixed issue introduced by changes in the sort infrastructure; fix issue with wrongly constructed KItems
added regression test
forgot copyright
Merge pull request #707 from andreistefanescu/fix

Fix