fix for issue #872