The is the fix for issue #81.