One more iteration on Travis-Coverity.