Minor adjustments for Tomoyo for the fourth benchmark