@robo Good to know you have fixed this another way. Though I am still wondering if this is a reproducible issue and we might want to fix that in the code. On the other hand 1.2.0 is really old and I am not sure how many people still use it.