fix for issue #853