minor docs correction