small tweak for rivets translator formatter