fix mistakes in .gitmodules