small fix for issue #117.