These error messages (to do with failure in higher-rank situations)
are different, but probably no worse than before.