some fixes for eiffeldoc