Change a port number in the specs to avoid a potential conflict