Minor optimization in HTTP_HEADER