PORTING: Add some minor clarifications.