High: Tools: Fix recently introduced use-of-NULL
Mercurial revision: e4efc1a9d1bdc6b47cfcb27536dac2d91a13b443