fix for issue #113