fix eiffeldoc Void call
thanks to eiffeldoc
more fixes thanks to eiffeldoc