fix for issue #1093