yet more fixes using eiffeldoc