Fixed a null pointer

I introduced it :-(