Default to port 8080 if not specified (per #1).