Fixed in-page links in doc (using github's auto anchors)