Fix `.gitmodules`