Remove contradictory parameter from later parts of example.