It's a bug in HTML output. I will fix it at first opportunity - probably in next build. Thanks for reporting a problem.

Andrei