Fix minor LaTeX bug of not ending a \NULL{} with the curly braces to get the

spacing correct in the output.