Added pretty heading and explicitly include p2c header.