Fix coverity nits