Sanitize labels when printing .dot-files