Revising the kor-ex.xml example based on recent discussions.
Fix some problems in the kor-ex.xml example.