This page was not behaving like a redirects. Discovered that it had a non-breaking space rather than an ordinary space after REDIRECT. Corrected this, and it now seems OK.