Fix anchor links

These were broken; pretty inconvenient for doc browsing.