Fix repo initialization instructions