Small docu change.