simple fix for issue #880

simple fix for issue #880