fix to issue #115