Another Interesting thing about chm version

Hello, I found another interesting thing about this chm version of php manual. When I search for a word using search box then result keywords are not highlighted. But when I try to access other pages using Table of Contents, after searching for a word, then on these pages search keywords are highlighted. So, may be, I think it isn't an IE bug but some problem with the programming logic used to highlight words. Sukhwinder Singh