Wyclipse.UI: minor fix