In tex.web error message is shown to the user right before exiting: Yes, it is inconsistent. We sent your report about it to Knuth in the last bundle. He is simply not bothered by this and has declined to change it (among a number of other such inconsistencies). I guess it may be worth adding to my nobug page. --best, karl.