Minor fix on docs.