remove cut-n-paste leftover

Missed this bit, it makes the error reporting just as bad as before...