Small docu improvements