better choice of a default port