Correction of minor errors, changes style