@javiereguiluz according to @xabbuh in the other thred, the bug was fixed by the indentation change, ot by the switch from ``a)`` to ``#.``. So you could try switching it back