Minor docu change.