minor corrections, style