Minor fix (git).