Corrections; mostly notational