Minor fix for the setup instructions.