f83718f0fb
a later double free. Reported by: Coverity CID: 1018507 MFC after: 1 week
a later double free. Reported by: Coverity CID: 1018507 MFC after: 1 week