Further minor corrections