Fix a gcc warning about possible null pointer