minimal changes on HTML