fix port number in example link