Small updates of docs