Add a check (reported by Coverity)