diff --git a/tests/python/ltsmin.ipynb b/tests/python/ltsmin.ipynb
index c8e84e95c..23c274ae0 100644
--- a/tests/python/ltsmin.ipynb
+++ b/tests/python/ltsmin.ipynb
@@ -18,7 +18,7 @@
    "version": "3.5.1"
   },
   "name": "",
-  "signature": "sha256:c71f218a80ffc2fb08377daa20d703d7c421278e48d625c4f9fca8ff8f59d80a"
+  "signature": "sha256:7574bd022ee68fb7411f60cb675c158f5c1e80c5e79e3197073e2abf5d06262f"
  },
  "nbformat": 3,
  "nbformat_minor": 0,
@@ -447,7 +447,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot.impl.kripke; proxy of <Swig Object of type 'std::shared_ptr< spot::kripke > *' at 0x7f1de22e1870> >"
+        "<spot.impl.kripke; proxy of <Swig Object of type 'std::shared_ptr< spot::kripke > *' at 0x7f2d78243480> >"
        ]
       }
      ],
@@ -726,7 +726,7 @@
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG at 0x7f1de228ae80>"
+        "<IPython.core.display.SVG at 0x7f2d781eb828>"
        ]
       }
      ],
@@ -1082,7 +1082,7 @@
         "</svg>"
        ],
        "text": [
-        "<IPython.core.display.SVG at 0x7f1de228ab38>"
+        "<IPython.core.display.SVG at 0x7f2d7d39b5f8>"
        ]
       }
      ],
@@ -1152,7 +1152,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot.impl.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f1dd5f6a630> >"
+        "<spot.impl.twa_graph; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_graph > *' at 0x7f2d78197fc0> >"
        ]
       }
      ],
@@ -1314,7 +1314,7 @@
         "</svg>\n"
        ],
        "text": [
-        "<spot.impl.twa_product; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_product > *' at 0x7f1de22e17e0> >"
+        "<spot.impl.twa_product; proxy of <Swig Object of type 'std::shared_ptr< spot::twa_product > *' at 0x7f2d78243360> >"
        ]
       }
      ],
@@ -1331,74 +1331,24 @@
      "cell_type": "code",
      "collapsed": false,
      "input": [
-      "a = spot.atomic_prop_collect(spot.formula('\"a < 2\" W \"b == 1\"'))\n",
-      "dir(a)"
+      "a = spot.atomic_prop_collect(spot.formula('\"a < 2\" W \"b == 1\"')); a"
      ],
      "language": "python",
      "metadata": {},
      "outputs": [
       {
+       "latex": [
+        "$\\{``\\mathit{a < 2}\\textrm{''}, ``\\mathit{b == 1}\\textrm{''}\\}$"
+       ],
        "metadata": {},
        "output_type": "pyout",
-       "prompt_number": 17,
+       "prompt_number": 14,
        "text": [
-        "['__bool__',\n",
-        " '__class__',\n",
-        " '__contains__',\n",
-        " '__delattr__',\n",
-        " '__dict__',\n",
-        " '__dir__',\n",
-        " '__doc__',\n",
-        " '__eq__',\n",
-        " '__format__',\n",
-        " '__ge__',\n",
-        " '__getattribute__',\n",
-        " '__getitem__',\n",
-        " '__gt__',\n",
-        " '__hash__',\n",
-        " '__init__',\n",
-        " '__iter__',\n",
-        " '__le__',\n",
-        " '__len__',\n",
-        " '__lt__',\n",
-        " '__module__',\n",
-        " '__ne__',\n",
-        " '__new__',\n",
-        " '__nonzero__',\n",
-        " '__reduce__',\n",
-        " '__reduce_ex__',\n",
-        " '__repr__',\n",
-        " '__setattr__',\n",
-        " '__sizeof__',\n",
-        " '__str__',\n",
-        " '__subclasshook__',\n",
-        " '__swig_destroy__',\n",
-        " '__weakref__',\n",
-        " 'add',\n",
-        " 'append',\n",
-        " 'begin',\n",
-        " 'clear',\n",
-        " 'count',\n",
-        " 'discard',\n",
-        " 'empty',\n",
-        " 'end',\n",
-        " 'equal_range',\n",
-        " 'erase',\n",
-        " 'find',\n",
-        " 'insert',\n",
-        " 'iterator',\n",
-        " 'lower_bound',\n",
-        " 'rbegin',\n",
-        " 'rend',\n",
-        " 'size',\n",
-        " 'swap',\n",
-        " 'this',\n",
-        " 'thisown',\n",
-        " 'upper_bound']"
+        "{\"a < 2\", \"b == 1\"}"
        ]
       }
      ],
-     "prompt_number": 17
+     "prompt_number": 14
     },
     {
      "cell_type": "code",