Corrections, style changes