Fix coverity

Minor issue found by coverity.