Minor docu changes