Fix error reporting in a corner case.  Looks like a case of incomplete
copy-and-paste...