Fix default TCP port number

According to <http://en.wikipedia.org/wiki/List_of_TCP_and_UDP_port_numbers> the TCP port should be 514, not 10514.