Fix broken redirects in specification traces