Fix the remaining part of the "minor detail".