corrections and additions

[none]