Docu tweaks and fixes.