fix for issue #255