Small fix of documentation...

Small fix of documentation...