fix due to API change in Xtend 2.4.3