Fixing the advertised port number.

The port number on the website is wrong, this commit fixes it.