fix for issue #762