Fix all occurrences of E123

It's not exactly uncontroversial, but standards have some value.