Some corrections

minor corrections, and a sync