Fix minor detail.