Vulnedit fix issue #134