Fix a minor glitch in the .gitmodules.