Add a new dot formatter, could be more beautiful, but it works