fixes #12: repair anchor links on the header