Minor docu changes.