Small fix of docs