fix for issue #1375