Fix a small leak found by Coverity