fix for issue #741