fix for issue #986