Update style and comments in core.pp.