Dear spot maintainers, we have been using SPOT by using its web site to build monitors from LTL formulas (http://spot.lip6.fr/ltl2tgba.html). Now with the new version, translation to monitors gives always an error like: ome maps are not empty Variable Map: 0 Free 1 Var[a] x1 { 0xa001d10 } Anonymous lists: [0] Free list: (0, 1) close failed in file object destructor: sys.excepthook is missing lost sys.stderr Could you please fix it? Thanks Angelo Gargantini University of Bergamo Italy