Proper graphml labels