Fix link broken by previous edits.