Minor fix on docs