fix eiffeldoc visitors so that it does not crash.