Correction, etc.

[none]