Minor fix (docs)