Fix .gitmodules, for real this time.

I had this done correctly but while preparing new branches for pull
requests, somehow this got mangled.