Correction

I botched the first rsync into my local Git repository.  I hope this
corrects the problem.