fix minor bug in Kevoree generator