Small change in docu