Minor corrections in HTML