Corrected coverity scan incantation