over-insured by double insurance