WHATSNEW: Some small formal fixes.