fix a gitmodules bug