clean up typos

Gregorian is proleptic