documented default port value