PORTING: Fix some typos.