Styling tweak. Related to de99f01 of the main DT repo.