fix for issue #143