fix for issue #242