small change in gitmodules