little improvements in  HTML