Fix broken link highlighted by new linkcheck tool

See #451.