splay: pretty format