More on HTTP request header parsing