fix for issue #393