Made example use header lensing.