Minor fix (actually just to test new 'git clone' here).