Adding tabs to highlighted errors
Last docu refinements before merging into master