fix for issue #295.