issue #258 fixed