Issue #4: properly escape special characters in DOT labels