Linking to bad urls

From #4295.