[art] fix up dfaacca54d4a8f78ee02a041d4d1648aa0b403a2
Merge pull request #6017 from fritsch/coverity4

[art] fix up dfaacca54d4a8f78ee02a041d4d1648aa0b403a2