Silence coverity warning about possible null pointer dereference (false positive). Coverity 746813