Any environment might need to specify an alternative port. It's up to the admin of the system. This looks like the correct implementation to me.