Some further changes in the docu.