Quiet mismatch with no-use-record.bad due to #678.
Merge pull request #698 from hildeth/master

Quiet mismatch with no-use-record.bad due to #678.