fix for issue #456