fix according to dukeboard/kevoree-modeling-framework#48