Line things up nicely internally in tok_name().