minor modifications in .gitmodules file