Fixed small bug of HTML (and printing) rendering