Fix specific failure case noted in issue #70