Fix a mistake in .gitmodules