Fix to issue #93