Fix a bug in .gitmodules