3dt: tiny cosmetic changes