simple fix for issue #880