docu for #4