Minor fix, docs