minor fix for Kevoree Mini Cloud