fixation of jump to anchor

Heading is not hidden after search anymore.