fix broken link.

cc @philipz