Fixed a bug in UI.clp's UIrecievedKeywords rule
Merge branch 'john'