Add default port numbers to REST doc