Nice janitorial work there. Although there's a bot to fix double redirects, so you don't have to do that yourself.