@henrikhodne Interesting. If so, we can undo the change I introduced in #221.