You are right it is a bug. 

I just tried to mirror the web page you mentioned using HTTrack version 3.42
and 3.33. Until the developer gets version 3.4* fixed, you can use HTTrack
version 3.33.15 as it does not have the bug. 


- Bo