Corrections, additions