Fix to ensure that the same DX number is returned by Court in all tests