@OJ, this should be NUL, not NULL

I think this is what is causing the Jenkins build failures, though I'm not sure why it would pass locally.