Fix HTTP request time measurement bug #4871