Fix broken link on web page, fixes #138