correction to gitmodules