Coverity 1524597: null pointer dereference