small fixed for xtend-vertx