Fix doc, thanks to Davide s comments