Fix port number in html