Minor bug in HTML