Add anchor to existential operator header

The indentation is off by one.