fix for issue #241