Correct some mistakes in .gitmodules