Follow up to r67703. Fixes jump-to anchor which still ref'ed to #head instead of...