Remove spurious line from .gitmodules