<triv> formatting things