Issue #707 minor bug fix