Fix syntax; remove not-mine comments