Exact distribution of a modified Behrens–Fisher statistic