Fix visibility of headers when jumping to anchors (fixes #131).