Small change to play nice with ToBEx