fix for issue 719