minor docs fixing