default to port 80 if undefined