fix for issue #259