:, editors are supposed to check for double redirects and fix them. I don't know if there were any in this instance, and a bot does fix them if any are missed. Does that answer your question? Sorry for the late response.