for consistency, fix pretty printing of ties