simple fix for issue #39