fix for issue #3413