Coverity 1515538: resource leak