some nicer dot output