Not necessary any longer, after realising about issue #7