Fix for issue #709