Why is there a separate constant `NAGIOS_HEADER`, since it's only used in the line below?