But it does differ. That's why I said I think it's a bug.

FWIW I got the same problem on my machine (IE6 on Win2000.) Very odd considering it's just an HTML anchor, no complex JavaScript or anything. But that's what you get with Windows. Non-standard behavior in what should be standard conditions.