Small docu changes