fix for issue #1144