fix a bug in .gitmodules