redirect works fine (and its test case.)