Possible null pointer ref, flagged by Coverity